DIG2.0: An Interface for Description Logic Systems
نویسنده
چکیده
The DIG Interface provides an implementationneutral mechanism for accessing Description Logic reasoner functionality. At a high level the interface consists of XML messages sent to the reasoner over HTTP connections, with the reasoner responding as appropriate. This paper reports on enhancements of the DIG interface, including support for new language constructs and an extension mechanism.
منابع مشابه
A Comparative Study of the Neural Network, Fuzzy Logic, and Nero-fuzzy Systems in Seismic Reservoir Characterization: An Example from Arab (Surmeh) Reservoir as an Iranian Gas Field, Persian Gulf Basin
Intelligent reservoir characterization using seismic attributes and hydraulic flow units has a vital role in the description of oil and gas traps. The predicted model allows an accurate understanding of the reservoir quality, especially at the un-cored well location. This study was conducted in two major steps. In the first step, the survey compared different intelligent techniques to discover ...
متن کاملA Proposal for a Description Logic Interface
Most description logic (DL) systems present the application programmer with a functional interface, often defined using a Lisp-like syntax. Such interfaces may be more or less complex, depending on the sophistication of the implemented system, and may be more or less compliant with the KRSS description logic specification [8]. The Lisp style of the KRSS syntax reflects the fact that Lisp is sti...
متن کاملDLP and FaCT
DLP [Patel-Schneider(1998)] and FaCT [Horrocks(1998)] are two recent description logic systems that contain sound and complete reasoners for expressive description logics. Due to the equivalences between expressive description logics and propositional modal logics, both DLP and FaCT can be used as satisfiability checkers for propositional modal logics. FaCT is a full-featured system that contai...
متن کاملAn Axiomatic Theory of StateCharts
Executive Summary Statecharts provide for the detailed graphical description of real-time computing systems. Extended Real Time Logic (ERTL) provides for the axiomatic description of real-time computing systems. The StateMate tool provides powerful facilities for the construction and validation of Statecharts, using a conceptually simple graphical user interface. In this paper we develop a mapp...
متن کاملAn optimal semi-active thermal exchange-Fuzzy logic Controller for Structural Dynamic Control and Rehabilation
The effect of intelligent semi-active thermal exchange-fuzzy controller in structural rehabilitation by attenuating seismic responses of structural systems is investigated. In the suggested control system, MR dampers and sensors are employed as a semi-active controller. Resultant control forces of MR damper are administrated by providing external voltage supply, during the earthquakes and high ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006